1. Forma y modalidad :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)

رده :
BC135
.
G65
2000

2. Intensional and higher-order modal logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Modality (Logic),Logic, Symbolic and mathematical.

رده :
BC
,
199
,.
M6
,
G35
,
1975

3. Intensional and higher-order modal logic : with applications to Montague semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Modality )Logic(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6
.
G35
1975

4. Objects and modalities : a study in the semantics of modal logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6T85

5. Temporal logic

پدیدآورنده:

کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)

موضوع: Logic, Symbolic and mathematical,Time,Modality (Logic)

رده :
BC
,
135
,.
R448